perm filename KURGAN.LE3[LET,JMC] blob
sn#365725 filedate 1978-07-07 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .require "let.pub" source file
C00003 ENDMK
C⊗;
.require "let.pub" source file
.font E "grkl30"
∂AIL G. Kurganov↓Editor-in-Chief↓MIR Publishers↓2 Pervy Rizhsky perulok
↓Moscow, I-110, GSP, USSR∞
Dear Mr. Kurganov:
There is one formula in my paper "Epistemological Problems of Artificial
Intelligence" which has a mistake that I would like to correct if there
is still time.
Formula 3 on page 1041 should read:
%EF%2(a)∧%EF%2(b)∧%EF%2(c)∧(∀x)(%EF%2(x)⊃%EF%2(f(x)))∧(∀x y)(%EF%2(x)∧%EF%2(y)⊃%EF%2(g(x,y)))⊃(∀x)P(x)⊃%EF%2(x)
%1
.sgn